Rigorous Statistical Methods for Rigorous Microbiome Science

Systematic reviews: the case for rigorous methods and rigorous reporting.

Verification methods: Rigorous . . .

This review article is devoted to verification methods and consists of three parts of similar length. In Part 1 the working tools of verification methods are discussed, in particular floating-point and interval arithmetic; my findings in Section 1.5 (Historical remarks) seem new, even to experts in the field. In Part 2, the development and limits of verification methods for finite-dimensional p...

Rigorous Methods for Software Construction and Analysis

We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which was organized as Festkolloquium on the occasion of Egon Börger’s 60th birthday, in May 2006 in Schloss Dagstuhl, Germany. Focusing on applied formal methods, the final seminar program covered a wide range of applied research spanning from theoretical and methodological foundations to practical applications ...

Methods And Techniques for Rigorous Model Calibration

Several lessons about the process of calibration were learned during development of a self-modifying cellular automaton model to predict urban growth. This model, part of a global change research project on human-induced land transformations, was used to predict the spatial extent of urban growth 100 years into the future. The context of the prediction was to evaluate urban environmental distur...

A RIGOROUS COMPARISON OF METHODS FOR MULTI-WALLED CARBON NANOTUBES PURIFICATION USING RAMAN SPECTROSCOPY

Multi-walled carbon nanotubes (MWNT’s) were synthesized using chemical vapor deposition (CVD) method in a fluidized bed reactor under the flow of methane and hydrogen gases. A Cobalt-molybdenum/magnesium oxide (Co-Mo/MgO) nanocatalyst was used as the catalyst of the process. The samples were analyzed using scanning electron microscopy (SEM) and X-ray diffraction (XRD) analyses. The effects of d...